- program proving
- Вычислительная техника: доказательство правильности программ
Универсальный англо-русский словарь. Академик.ру. 2011.
program proving
Смотреть что такое "program proving" в других словарях:
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Dugway Proving Ground — testing area encompasses a vast area of the western Utah desert. Dugway Proving Ground (DPG) is a US Army facility located approximately 85 miles (140 km) southwest of Salt Lake City, Utah in southern Tooele County and just north of… … Wikipedia
Pacific Proving Grounds — Infobox Military Test Site name=Pacific Proving Grounds / Pacific Test Site caption=The United States began using the Marshall Islands as a nuclear testing site beginning in 1946. Superimpose base=Pacific Proving Grounds.png base width=300px base … Wikipedia
Yuma Proving Ground — The proving ground conducts tests on nearly every weapon system in the ground combat arsenal. Munitions and artillery systems are tested here in an area almost completely removed from urban encroachment and noise concerns. Restricted airspace… … Wikipedia
Aberdeen Proving Ground — (APG) is a United States Army facility located near Aberdeen, Maryland (in Harford County). Part of the facility is a census designated place (CDP), which had a population of 3,116 at the 2000 census.The Army s oldest active proving ground, it… … Wikipedia
Cities for Climate Protection program — The Cities for Climate Protection program (CCP) is one of three major global transnational municipal networks aimed at reducing urban greenhouse gas emissions. Established in 1990 by the International Union of Local Authorities and the United… … Wikipedia
Incentive program — An incentive program is a formal scheme used to promote or encourage specific actions or behavior by a specific audience during a defined period of time. HistoryAlthough incentive programs have been around for more than 100 years, it wasn’t until … Wikipedia
Type-in program — NOTOC A type in program, or just type in, is a computer program listing printed in a computer magazine or book, meant to be typed in by the reader in order to run the program on a computer. Very common in the early home computer era of the late… … Wikipedia
Salyut program — Salyut 7, the final Salyut station to be launched, as seen from the departing Soyuz T 13 spacecraft … Wikipedia
Merola opera program — is a San Francisco training program for opera singers, coaches, and stage directors. Merola Opera Program Merola Opera Program is the San Francisco Opera s training and performance program for promising young artists. Named for San Francisco… … Wikipedia
Merola Opera Program — is a San Francisco training program for opera singers, coaches, and stage directors. Contents 1 Merola Opera Program 2 History 3 References 4 External links … Wikipedia
